Mike Hinchey : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (19)
Les plus populaires
Liste
- Liste
- Tableau

1

Experience from the DARPA Urban Challenge

Experience from the DARPA Urban Challenge

Springer London

Christian Berger, Mike Hinchey, Christopher Rouff (auth.), Christopher Rouff, Mike Hinchey (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 8.08 MB

0 / 0

english, 2012

2

Experience from the DARPA Urban Challenge

Experience from the DARPA Urban Challenge

Springer London

Christian Berger, Mike Hinchey, Christopher Rouff (auth.), Christopher Rouff, Mike Hinchey (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 9.31 MB

0 / 0

english, 2012

3

Conquering Complexity

Conquering Complexity

Mike Hinchey, Lorcan Coyle

Année:

2012

Langue:

english

Fichier:

PDF, 10.03 MB

0 / 0

english, 2012

4

Conquering Complexity

Conquering Complexity

Springer-Verlag London

José Luiz Fiadeiro (auth.), Mike Hinchey, Lorcan Coyle (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 9.54 MB

0 / 0

english, 2012

5

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 3.76 MB

0 / 0

english, 2011

6

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 4.54 MB

0 / 4.0

english, 2011

7

Ethical and Legal Aspects of Computing

Ethical and Legal Aspects of Computing

Ian Mackie & Samson Abramsky & Chris Hankin & Mike Hinchey & Dexter C. Kozen & Hanne Riis Nielson & Steven S. Skiena & Iain Stewart & Joseph Migga Kizza & Roy Crole & Elizabeth Scott & Gerard O’Regan

Année:

2024

Langue:

english

Fichier:

PDF, 5.90 MB

0 / 4.0

english, 2024

8

Autonomy Requirements Engineering for Space Missions

Autonomy Requirements Engineering for Space Missions

Springer International Publishing

Emil Vassev, Mike Hinchey (auth.)

Année:

2014

Langue:

english

Fichier:

PDF, 4.29 MB

0 / 0

english, 2014

9

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 5.19 MB

0 / 0

english, 2012

10

Provably Correct Systems

Provably Correct Systems

Springer International Publishing

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)

Année:

2017

Langue:

english

Fichier:

PDF, 9.41 MB

0 / 0

english, 2017

11

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Springer International Publishing

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.)

Année:

2017

Langue:

english

Fichier:

PDF, 23.72 MB

0 / 0

english, 2017

12

Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, ... in Information and Communication Technology)

Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, ... in Information and Communication Technology)

Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf

Année:

2010

Langue:

english

Fichier:

PDF, 5.41 MB

0 / 0

english, 2010

13

Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Larry Kerschberg, Wooju Kim, Anthony Scime (auth.), Walt Truszkowski, Mike Hinchey, Chris Rouff (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 7.80 MB

0 / 0

english, 2003

14

Biologically-Inspired Collaborative Computing: IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8–9, 2008, Milano, Italy

Biologically-Inspired Collaborative Computing: IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8–9, 2008, Milano, Italy

Marco Dorigo (auth.), Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 4.31 MB

0 / 0

english, 2008

15

Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Marilyn Wolf, Bernd Kleinjohann, Lisa Kleinjohann (auth.), Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 7.57 MB

0 / 0

english, 2010

16

Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Springer International Publishing

Phan Cong Vinh, Emil Vassev, Mike Hinchey (eds.)

Année:

2015

Langue:

english

Fichier:

PDF, 19.65 MB

0 / 0

english, 2015

17

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)

Année:

2012

Langue:

english

Fichier:

PDF, 7.74 MB

0 / 0

english, 2012

18

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)

Année:

2011

Langue:

english

Fichier:

PDF, 3.87 MB

0 / 0

english, 2011

19

Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Larry Kerschberg, Wooju Kim, Anthony Scime (auth.), Walt Truszkowski, Mike Hinchey, Chris Rouff (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 9.14 MB

0 / 0

english, 2003